A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems
نویسندگان
چکیده
A -system consists of quadratic Diophantine equations over nonnegative integer variables of the form:
منابع مشابه
On the $c_{0}$-solvability of a class of infinite systems of functional-integral equations
In this paper, an existence result for a class of infinite systems of functional-integral equations in the Banach sequence space $c_{0}$ is established via the well-known Schauder fixed-point theorem together with a criterion of compactness in the space $c_{0}$. Furthermore, we include some remarks to show the vastity of the class of infinite systems which can be covered by our result. The a...
متن کاملInfinitely Many Quadratic Diophantine Equations Solvable Everywhere Locally, But Not Solvable Globally∗
We present an infinite class of integers 2c, which turn out to be Richaud-Degert type radicands, for which 2x2 − cy2 = −1 has no integer solutions, but for which 2x2 − cy2 ≡ −1 (mod n) has integer solutions for any n ∈ N. This explains a topic often seen in introductory number theory courses, that appears as a curiosity, yet for which we are able to give the underlying reasons in terms of simpl...
متن کاملA spline collocation method for integrating a class of chemical reactor equations
. In this paper, we develop a quadratic spline collocation method for integrating the nonlinear partial differential equations (PDEs) of a plug flow reactor model. The method is proposed in order to be used for the operation of control design and/or numerical simulations. We first present the Crank-Nicolson method to temporally discretize the state variable. Then, we develop and analyze the pro...
متن کاملExistence of solutions of infinite systems of integral equations in the Frechet spaces
In this paper we apply the technique of measures of noncompactness to the theory of infinite system of integral equations in the Fr´echet spaces. Our aim is to provide a few generalization of Tychonoff fixed point theorem and prove the existence of solutions for infinite systems of nonlinear integral equations with help of the technique of measures of noncompactness and a generalization of Tych...
متن کاملThe Response of Two-Degree of Freedom Self-Sustained Systems with Quadratic Nonlinearities to a Parametric Excitation (RESEARCH NOTE)
In this study the interaction between self-excited and paramet rically excited oscillations in two-degree-of-freedom systems with quadratic nonlinearities is investigated. The fundamental parametric resonance of the first mode and 3:1 internal resonance is considered, followed by 1:2 internal and parametric resonances of the second mode. The method of multiple time scales is applied to derive f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003